161![A MODULAR AND SYMBOLIC APPROACH TO STATIC PROGRAM ANALYSIS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES A MODULAR AND SYMBOLIC APPROACH TO STATIC PROGRAM ANALYSIS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES](https://www.pdfsearch.io/img/93900a98c1d62ce83e40495373dd30dc.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2011-12-06 17:59:56
|
---|
162![International Journal of High Performance Computing Applications http://hpc.sagepub.com Scaling Properties of Common Statistical Operators for Gridded Datasets Charles S. Zender and Harry Mangalam International Journal of High Performance Computing Applications http://hpc.sagepub.com Scaling Properties of Common Statistical Operators for Gridded Datasets Charles S. Zender and Harry Mangalam](https://www.pdfsearch.io/img/87e3f51c327bcd6848a358818fd85d25.jpg) | Add to Reading ListSource URL: dust.ess.uci.eduLanguage: English - Date: 2007-12-03 17:37:12
|
---|
163![Numerical Algorithms Group Title: Sneak Peek at FORTRAN 2002 Numerical Algorithms Group Title: Sneak Peek at FORTRAN 2002](https://www.pdfsearch.io/img/227aa22cc5523d59103a0b5904a82c82.jpg) | Add to Reading ListSource URL: www.nag.comLanguage: English - Date: 2011-03-16 23:03:40
|
---|
164![VIRUS BULLETIN www.virusbtn.com MALWARE ANALYSIS FLYING SOLO Peter Ferrie Microsoft, USA VIRUS BULLETIN www.virusbtn.com MALWARE ANALYSIS FLYING SOLO Peter Ferrie Microsoft, USA](https://www.pdfsearch.io/img/78f88c52b2b6b11610e6b6c01bfaac5a.jpg) | Add to Reading ListSource URL: pferrie2.tripod.comLanguage: English - Date: 2009-11-01 23:47:07
|
---|
165![Technology / Optical devices / Laser safety / Vertical-cavity surface-emitting laser / Laser / Photodiode / Optical fiber / Lasers and aviation safety / Laser pointer / Optics / Photonics / Light Technology / Optical devices / Laser safety / Vertical-cavity surface-emitting laser / Laser / Photodiode / Optical fiber / Lasers and aviation safety / Laser pointer / Optics / Photonics / Light](/pdf-icon.png) | Add to Reading ListSource URL: www-ese.fnal.govLanguage: English - Date: 1999-09-04 07:28:12
|
---|
166![HAZARD ANALYSIS - LASERS Description of Work: Class III-B Laser Testing: VCSEL (laser diode), PIN photodiode and optical fiber characterization and testing. The optical power used will place the VCSEL up to class III-B ( HAZARD ANALYSIS - LASERS Description of Work: Class III-B Laser Testing: VCSEL (laser diode), PIN photodiode and optical fiber characterization and testing. The optical power used will place the VCSEL up to class III-B (](https://www.pdfsearch.io/img/4a3717d0e461b5ad1a6f46cd738a4272.jpg) | Add to Reading ListSource URL: www-ese.fnal.govLanguage: English - Date: 1999-09-23 18:25:05
|
---|
167![Testing statistical software I: units Ben Klemens Your trust in anything is an emotional state, not something that can be proven by some routine. There is a literature on proving that a given piece of code does what it c Testing statistical software I: units Ben Klemens Your trust in anything is an emotional state, not something that can be proven by some routine. There is a literature on proving that a given piece of code does what it c](https://www.pdfsearch.io/img/d54a6df8123764db7c141a9def1b52c6.jpg) | Add to Reading ListSource URL: modelingwithdata.orgLanguage: English - Date: 2014-05-03 14:56:03
|
---|
168![Non-Linear Sequencing Erann Gat Jet Propulsion Laboratory, California Institute of Technology Non-Linear Sequencing Erann Gat Jet Propulsion Laboratory, California Institute of Technology](https://www.pdfsearch.io/img/b756c6dc6d79fbe3a496f99a0ca58a50.jpg) | Add to Reading ListSource URL: www.flownet.comLanguage: English - Date: 2008-08-13 23:40:51
|
---|
169![Systematic Analysis of Defenses Against Return-Oriented Programming ⋆ R. Skowyra, K. Casteel, H. Okhravi, N. Zeldovich, and W. Streilein Systematic Analysis of Defenses Against Return-Oriented Programming ⋆ R. Skowyra, K. Casteel, H. Okhravi, N. Zeldovich, and W. Streilein](https://www.pdfsearch.io/img/493d513d5a8a92bb3ad3439194eaca3a.jpg) | Add to Reading ListSource URL: web.mit.eduLanguage: English - Date: 2013-11-07 19:23:18
|
---|
170![Value Range Analysis of Conditionally Updated Variables and Pointers∗ Johnnie Birch Value Range Analysis of Conditionally Updated Variables and Pointers∗ Johnnie Birch](https://www.pdfsearch.io/img/463e27996ae6b72fc2d41a8029a8f31e.jpg) | Add to Reading ListSource URL: www.cs.fsu.eduLanguage: English - Date: 2004-07-12 14:12:16
|
---|